home *** CD-ROM | disk | FTP | other *** search
- Path: uwm.edu!uwvax!news
- From: Michael Siff <siff@cs.wisc.edu>
- Newsgroups: comp.lang.c
- Subject: Formal type system and denotational semantics for C?
- Date: Tue, 05 Mar 1996 08:41:53 -0600
- Organization: University of WI, Madison -- Computer Sciences Dept.
- Message-ID: <313C52B1.41C67EA6@cs.wisc.edu>
- NNTP-Posting-Host: herve.cs.wisc.edu
- Mime-Version: 1.0
- Content-Type: text/plain; charset=us-ascii
- Content-Transfer-Encoding: 7bit
- X-Mailer: Mozilla 2.0 (X11; I; SunOS 4.1.3 sun4m)
- CC: siff@cs.wisc.edu
-
- Is anyone aware of any work done for either a formal type system for C
- or denotational semantics for C? I am particularly interested in the
- type question. I am looking for type rules of the form:
-
- A |- e : t
- -----------
- A |- &e : t ptr
-
- meaning: if with assumptions A (i.e. declarations and initial
- environment) expression e has type t, then &e has type pointer to t.
-
- Any information concerning the existence of such rules would be much
- appreciated.
-
- Thanks in advance,
-
- Michael
-